* { font-family: Mono;
	font-size: 20pt;
	color: rgb(98,190,105);
	background-color: black;
	border-color: rgb(98,190,105);
	border-width: 0.75px;
	border-style: solid; }